Ecs Compilation Techniques -translation of Programme Constructs into Temporal Speciications
نویسندگان
چکیده
This report is intended to provide a library of Temporal Speciications (TS's) which may be used to implement programme code constructs. Each TS will be preferable to other TS's of the same construct with regards to speed or transistor count.
منابع مشابه
Speci cations into Temporal
This paper presents a method for automatically translating natural language speciications into temporal logic. Using this method, users may express complex speciications in relatively free natural language , allowing multi-sentence speciications, the use of pronouns instead of repeating the description of previously mentioned objects and complex temporal relations. These speciications are trans...
متن کاملVeriication of Estelle Speciications Using Tla +
The Formal Description Technique (FDT) Estelle is a formal method proposed by ISO 1 to specify distributed systems. Several techniques of verifying Estelle speciications based on a translation into other formalism, such as Petri Nets or diierent kind of logic, have been developed. Because the Estelle speciication language is rich and its semantics is quite complex , these methods have various l...
متن کاملCode generation techniques for the task-parallel programming language Spar
In this paper we describe a compilation scheme to translate implicitly parallel programs in the programming language Spar (an extension to Java) to efficient code for distributed-memory parallel computer systems. The compilation scheme is formulated as a set of transformation rules. In Spar, the language constructs for parallelization have been designed for comfortable use by the programmer, no...
متن کاملImplementing and Verifying Scenario - Based Speci
In previous work we deened a nite state semantics for Message Sequence Charts (MSCs) and suggested a translation of MSC speciications into Promela. We call this translation anìmplementation'. In this paper we reconsider the implementation of MSCs and discuss what information needs to be added when implementing MSC speciications containing so-called non-local choices. Next, we show how to model-...
متن کاملA Theory - Based RepresentationforObject - Oriented Domain
Formal software speciication has long been touted as a way to increase the quality and reliability of software; however, it remains an intricate, manually intensive activity. An alternative to using formal speciications directly is to translate graphically-based, semi-formal speciications into formal speciications. However, before this translation can take place, a formal deenition of basic obj...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993